read_db $::env(ODB_FILE)
write_verilog $::env(VERILOG_FILE)
exit
